Software Verification and Correction Candidate:
ثبت نشده
چکیده
منابع مشابه
Correcting recognition errors via discriminative utterance verification
Utterance verification (UV) is a process by which the output of a speech recognizer is verified to determine if the input speech actually includes the recognized keyword(s). The output of the speech verifier is a binary decision to accept or reject the recognized utterance based on a UV confidence score. In this paper, we extend the notion of utterance verification to not only detect errors but...
متن کاملRule-based Software Verification and Correction
The increasing complexity of software systems has led to the development of sophisticated formal methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly w.r.t. the original programmer’s intention or checking the consistency and the correctness of a large set of data are not trivial tasks as witnessed by many case studies which o...
متن کاملA Natural Language Correction Model for Continuous Speech Recognition
We have developed a method of improving and controlling the accuracy of automated continuous speech recognition through linguistic postprocessing. In this approach, an output from a speech recognitio n system is passed to a trainable Correction Box module which attempts to locate and repair any transcription errors. The Correction Box consists of a text alignment program, a correction-rule gene...
متن کاملCorrection to: In Silico Design and Verification of LAMP-BDNF Chimeric Protein for Presentation of BDNF on the Surface of Exosomes for Drug Delivery Through Blood-Brain Barrier
In the article published in volume 32, issue 215, 2022,http://jmums.mazums.ac.ir/article-1-17695-fa.html the affilifations of Naghi Shahabi Majd, Hosein Ranjbaran, and Shabanali Khodashenas were published incorrectly, which are now corrected.
متن کاملIndependent assessment of source transit time for the BEBIG SagiNova® high dose rate brachytherapy afterloader
Introduction: The dwell time and transit time components contribute to the overall delivered dose to patients in high dose rate (HDR) brachytherapy treatments. The transit time results from source entry and exit as well as source movements between dwell positions. It depends on various parameters such as the source speed profile, source indexer distance to dwell position, and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005